How to export mysql database with mysql workbench